首页> 外文OA文献 >VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models

【2h】

VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models

机译：VIaTRa - 用于UmL模型形式验证和验证的可视化自动转换

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Gyorgy Csertan; Gabor Huszerl; Istvan Majzik; Zsigmond Pap; Andras Pataricza; Daniel Varro; Dániel Varró;
展开▼
作者单位

展开▼
年度 2002
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Automated formal verification of visual modeling languages by model checking [J] . Daniel Varro Software and systems modeling . 2004,第2期

机译：通过模型检查自动进行视觉建模语言的形式验证
2. Automated verification of model transformations based on visual contracts [J] . Esther Guerra, Juan de Lara, Manuel Wimmer, Automated software engineering . 2013,第1期

机译：基于视觉合同的模型转换的自动验证
3. A Formal Transformation Method for Automated Fault Tree Generation From a UML Activity Model [J] . Dickerson Charles E., Roslan Rosmira, Ji Siyuan Fortschritte der Physik . 2018,第3期

机译：从UML活动模型中自动故障树生成的正式转换方法
4. VIATRA - visual automated transformations for formal verification and validation of UML models [C] . Csertan, G., Huszerl, . 2002

机译：VIATRA-可视化自动转换，用于UML模型的形式验证和确认
5. Verification and Validation of UML and SysML Based Systems Engineering Design Models. [D] . Jarraya, Yosr. 2010

机译：基于UML和SysML的系统工程设计模型的验证和确认。
6. Developing Quality Indicators and Auditing Protocols from Formal Guideline Models: Knowledge Representation and Transformations [O] . Aneel Advani, Mary Goldstein, Yuval Shahar, 2003

机译：从正式指南模型开发质量指标和审核协议：知识表示和转换
7. Automated verification of model transformations based on visual contracts [O] . Guerra, Esther, Lara, Juan de, Wimmer, Manuel, 2013

机译：基于视觉契约自动验证模型转换

VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models

著录项

引文网络

相似文献

相关主题

期刊订阅